Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
81	Selection results First application deadline - 1st February 2016 Non-selected candidates : ID number 11116 Add to Reading List Source URL: emundus.izp.cm-uj.krakow.pl Language: English - Date: 2016-06-24 08:46:40 Education English-language education Mathematical proof Language proficiency Language education
82	The purpose of this note is to further generalize the smoothness framework by Roughgarden [7], in order to provide a unified proof for many existing price-of-anarchy results. 1 Bounds on the Price of Anarchy A strategic Add to Reading List Source URL: florian-schoppmann.net Language: English - Date: 2016-03-04 03:20:15 Game theory Congestion game Mathematics Nash equilibrium Price of anarchy Mathematical analysis
83	International Mathematical Olympiad Preliminary Selection Contest 2012 — Hong Kong Outline of Solutions Answers: Add to Reading List Source URL: web.hku.hk Language: English - Date: 2013-03-15 02:35:42 Mathematics Mathematical analysis Elementary algebra Trigonometry Inverse trigonometric functions Ratios Nth root Factorization E Transcendental number Proof that is irrational
84	Mining the Archive of Formal Proofs? Jasmin Christian Blanchette1,2 , Maximilian Haslbeck3 , Daniel Matichuk4,5 , and Tobias Nipkow3 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-05-09 06:37:36 Automated theorem proving Mathematics Mathematical proofs Logic Logical consequence Statements Theorem Creativity Lemma Proof assistant Mathematical logic
85	Automation for Exception Freedom Proofs Bill J. Ellis and Andrew Ireland School of Mathematical & Computer Sciences Heriot-Watt University Edinburgh, Scotland, UK Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2004-11-10 11:53:13 Software engineering Formal methods Theoretical computer science Automated theorem proving Computing Loop invariant Mathematical proof Rippling Extended static checking Recurrence relation Automated reasoning Invariant
86	The Integration and Interaction of Multiple Mathematical Reasoning Processes: A Platform Grant Proposal. Case for Support Alan Bundy Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2005-03-23 10:49:26 Automated theorem proving Logic Cognitive science Theoretical computer science Reasoning Artificial intelligence Research councils Automated reasoning Alan Bundy Reasoning system Isabelle Mathematical proof
87	2015 IEEE Symposium on Security and Privacy ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data Michael Backes Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2015-05-11 16:43:12 Graph theory Cryptography Zero-knowledge proof Non-interactive zero-knowledge proof Snark Proof of knowledge IP Mathematical proof
88	Practical Proof Checking for Program Certification Geoff Sutcliffe1 , Ewen Denney2 , Bernd Fischer2 1 University of Miami Add to Reading List Source URL: ti.arc.nasa.gov Language: English Logic Formal methods Theoretical computer science Automated theorem proving Mathematical logic Logic in computer science Proof assistants Formal verification Formal proof Proof-carrying code Automated proof checking Theorem
89	Type theory and proof assistants 21 January 2009, 15.30–17.30 This test has 15 exercises, and each exercise is worth 6 points. The first 10 points are free, and the final mark is the number of points divided by ten. Go Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-12 07:22:28 Type theory Mathematical logic Theoretical computer science Lambda calculus Mathematics CurryHoward correspondence Dependent type Church encoding System F Simply typed lambda calculus Natural deduction Combinatory logic
90	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: mizar.uwb.edu.pl Language: English - Date: 2016-07-29 01:16:07 Logic Mathematical logic Predicate logic Abstraction Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar